Computer algebra

Results: 2963



#Item
81Algebra / Mathematics / Linear algebra / Vectors / Relays / Power engineering / Transducers / Euclidean vector / Computer / Algorithm / Norm / Vector space

Optimal strategies for maintaining a chain of relays between an explorer and a base camp

Add to Reading List

Source URL: www.dcg.ethz.ch

Language: English - Date: 2014-09-26 08:28:56
82Computing / Cache / Computer hardware / Computer memory / Computer engineering / Central processing unit / Computer architecture / Numerical software / CPU cache / Basic Linear Algebra Subprograms / Cache-oblivious algorithm / Page

Seven at One Stroke: Results from a Cache-Oblivious ∗ Paradigm for Scalable Matrix Algorithms Michael D. Adams David S. Wise

Add to Reading List

Source URL: michaeldadams.org

Language: English - Date: 2012-07-27 19:30:16
83Education / Pedagogy / Didactics / Learning / Didactic method / Interdisciplinarity / Curriculum / Master of Education / University of Pcs / Music education / Mathematics education

Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Workshop

Add to Reading List

Source URL: cadgme.ms.sapientia.ro

Language: English - Date: 2016-04-22 07:19:59
84Mathematics / Algebra / Mathematical logic / Relational model / Models of computation / Logic in computer science / Database theory / Lambda calculus / Relational algebra / Tuple / Finitary relation / Combinatory logic

Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-12-31 07:06:16
85Numerical analysis / Numerical linear algebra / Mathematics / Theoretical computer science / Preconditioner / Graph partition / Basic Linear Algebra Subprograms / Sparse matrix / Iterative method

PSBLAS 2.4 & MLD2P4 1.2: Sparse Computations and Iterative Solvers on Parallel Computers PSBLAS 2.4 &

Add to Reading List

Source URL: people.uniroma2.it

Language: English - Date: 2014-10-09 08:41:31
86Computer graphics / Algebra / 3D computer graphics / Mathematics / Light field / JPEG / Tone mapping / Shading / Rendering / Global illumination / Matrix / Illumination

Lighting Sensitive Display SHREE K. NAYAR and PETER N. BELHUMEUR Columbia University and TERRY E. BOULT University of Colorado

Add to Reading List

Source URL: www.cs.columbia.edu

Language: English - Date: 2005-07-05 15:29:36
87Theoretical computer science / Automated planning and scheduling / Logic in computer science / Mathematics / Computational complexity theory / Boolean algebra / Electronic design automation / Formal methods / Boolean satisfiability problem / Maximum satisfiability problem / Planning Domain Definition Language / Satz

An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-19 04:29:26
88Software / Computing / Application software / Numerical software / Computer algebra systems / Economic model / Monetary policy / New Keynesian economics / Command-line interface / Autoregressive model / MATLAB / Macroeconomics

Macroeconomic Model Data BaseUser Guide This user guide describes how to install and use the Macroeconomic Model Data Base, version 2.0 (hereafter the Modelbase). After reading Sections 1 and 2 you should be able

Add to Reading List

Source URL: www.macromodelbase.com

Language: English - Date: 2016-01-15 07:35:25
89Mathematics / Algebra / Polynomials / Computer algebra / Group theory / Determinants / Resultant / Polynomial / Factorization / Irreducible polynomial / Elliptic curve / Finite field

Genus 2 point counting over prime fields Pierrick Gaudry LORIA, CNRS / INRIA / Nancy Universit´e, Nancy, France ´ Eric

Add to Reading List

Source URL: www.csd.uwo.ca

Language: English - Date: 2011-11-10 23:50:34
90Mathematics / Model theory / Algebra / Mathematical logic / Ramsey theory / Ramsey class / Age / Structure / FO / Semigroup / Amalgamation property / Isomorphism

Ramsey Classes by Partite Construction I Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science

Add to Reading List

Source URL: www.ucw.cz

Language: English - Date: 2015-07-24 05:51:54
UPDATE